This patch fix a bug in set_reg_value() for x86_64 VMX guest.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 10 Sep 2005 14:20:29 +0000 (14:20 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 10 Sep 2005 14:20:29 +0000 (14:20 +0000)
Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
xen/arch/x86/vmx_io.c

index 1d3b248e5e87e696b3cc8fd00dfc6803549126a9..7f33a6ef28a389f48af492f0b9615009ca984c78 100644 (file)
@@ -261,7 +261,7 @@ static void set_reg_value (int size, int index, int seg, struct cpu_user_regs *r
                 domain_crash_synchronous();
                 break;
         }
-
+        return;
     }
 
     switch (index) {